The Basic Zariski Topology

نویسندگان

  • Davide Rinaldi
  • Giovanni Sambin
  • Peter Schuster
چکیده

We present the Zariski spectrum as an inductively generated basic topology à la Martin-Löf and Sambin. Since we can thus get by without considering powers and radicals, this simplifies the presentation as a formal topology initiated by Sigstam. Our treatment includes closed and open subspaces: that is, quotients and localisations. All the effective objects under consideration are introduced by means of inductive definitions. The notions of spatiality and reducibility are characterized for the class of Zariski formal topologies, and their nonconstructive content is pointed out: while spatiality implies classical logic, reducibility corresponds to a fragment of the Axiom of Choice in the form of Russell’s Multiplicative Axiom.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On two problems concerning the Zariski topology of modules

Let $R$ be an associative ring and let $M$ be a left $R$-module.Let $Spec_{R}(M)$ be the collection of all prime submodules of $M$ (equipped with classical Zariski topology). There is a conjecture which says that every irreducible closed subset of $Spec_{R}(M)$ has a generic point. In this article we give an affirmative answer to this conjecture and show that if $M$ has a Noetherian spectrum, t...

متن کامل

PRIMARY ZARISKI TOPOLOGY ON THE PRIMARY SPECTRUM OF A MODULE

‎‎Let $R$ be a commutative ring with identity and let $M$ be an $R$-module‎. ‎We define the primary spectrum of $M$‎, ‎denoted by $mathcal{PS}(M)$‎, ‎to be the set of all primary submodules $Q$ of $M$ such that $(operatorname{rad}Q:M)=sqrt{(Q:M)}$‎. ‎In this paper‎, ‎we topologize $mathcal{PS}(M)$ with a topology having the Zariski topology on the prime spectrum $operatorname{Spec}(M)$ as a sub...

متن کامل

The Graded Classical Prime Spectrum with the Zariski Topology as a Notherian Topological Space

Let G be a group with identity e. Let R be a G-graded commutative ring and let M be a graded R-module. The graded classical prime spectrum Cl.Specg(M) is defined to be the set of all graded classical prime submodule of M. The Zariski topology on Cl.Specg(M); denoted by ϱg. In this paper we establish necessary and sufficient conditions for Cl.Specg(M) with the Zariski topology to be a Noetherian...

متن کامل

Algebraic and topological aspects of quasi-prime ideals

In this paper, we define the new notion of quasi-prime ideal which generalizes at once both prime ideal and primary ideal notions. Then a natural topology on the set of quasi-prime ideals of a ring is introduced which admits the Zariski topology as a subspace topology. The basic properties of the quasi-prime spectrum are studied and several interesting results are obtained. Specially, it is pro...

متن کامل

Inverse topology in BL-algebras

In this paper, we introduce Inverse topology in a BL-algebra A and prove the set of all minimal prime filters of A, namely Min(A) with the Inverse topology is a compact space, Hausdorff, T0  and T1-Space. Then, we show that Zariski topology on Min(A) is finer than the Inverse topology on Min(A). Then, we investigate what conditions may result in the equivalence of these two topologies. Finally,...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013